A demonstration of SOCS - SI ?
نویسندگان
چکیده
– a text file containing the Social Integrity Constraints (SICs in the following), used for expressing interaction protocols; – a text file containing an (abductive) logic program (Social Organization Knowledge Base, SOKB in the following), used to express declarative knowledge, such as the value of time deadlines; – a history of events, representing the agent behaviour, recorded from a source of events. So far, the implementation of SOCS-SI accepts as sources (i) the user prompt, (ii) a log file, or (iii) a network-based tool for the observation of the agent interaction.
منابع مشابه
SOCS3 is involved in cardiomyocyte hypertrophy induced by Ang II
This study is to explore the effects of two Suppressors of Cytokine Signalling (SOCS) members, namely SOCS-1 and -3, on the regulation of cardiomyocyte hypertrophic response induced by Angiotensin-2 (AngII). Rat neonatal cardiomyocytes culture were cultured and treated with Angiotensin II. After SOCS1 and SOCS3 inhibition by si-RNA transfection, the cellular hypertrophic response indicated by c...
متن کاملThe SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describes the SOCS social model: an agent interaction specification and verification framework equipped with a declarative and operational semantics, expressed in terms of abduction. The operational counterpart of the propose...
متن کاملDeliverable D14: Experiments with animated societies of computees
In this deliverable, we report on our work within WP6, which is devoted to testing the proposed SOCS models for individual computees and societies of computees, and their implementation. To this purpose, work-package WP6 aims at testing the models defined in WP1, WP2 and WP3, by exploiting PROSOCS, the outcome of WP4. As a by-product, this work is also a test of PROSOCS. This task has been addr...
متن کاملThe Effect of Zahab Plain Floodwater Spreading on Soil Organic Carbon Stock
Floodwater spreading (FWS) has an important role in floodwater control, groundwater recharge, restoration and enhancement of vegetation and desertification control. Since the flood causes the transporting of soil particles including organic materials, the floodwater spreading project can be a suitable place to sequestration of organic carbon in sediment yielded by flood. The knowledge of soil o...
متن کاملComputational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
In this work, we investigate the feasibility of using a framework based on computational logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS UE Project), for modeling choreographies of Web Services with respect to the conversational aspect. One of the fundamental motivations of using computational logic, beside its declarative and highly expressive nature,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004